% Status: Unsatisfiable

%--------------------------------------------------------------------------

fof(query_1,axiom, ![A,B]: (A != B => e(A) != e(B)) ).

fof(query_1,conjecture, e(1.6) != e(1) ).

%--------------------------------------------------------------------------
